Extending PSL with Fuzzy Quantifiers Golnoosh Farnadi1,2 , Stephen H. Bach3 , Marie-Francine Moens2 , Lise Getoor4 , Martine De Cock1,5 1 Department of Applied Mathematics, Computer Science and Statistics, Ghent Universi

Source URL: stephenbach.net

• Fuzzy logic
• Quantification
• Logic in computer science
• Artificial intelligence
• Non-classical logic
• Probabilistic soft logic
• Fuzzy set
• Quantifier
• Fuzzy control system
• FO
• Universal quantification
• PSL

highresRT_Logic-Kratos_Logo

Source URL: www.rtlogic.com

• Internet protocols
• Network performance
• Packet loss
• Internet Standards
• Transmission Control Protocol
• Latency
• Jitter
• Quality of service
• Zeta-TCP
• T.38

Synchronous universal droplet logic and control

Source URL: stanford.edu

Semantics Engineering: more than just Theorem Proving Robby Findler Northwestern University & PLT

Source URL: www.eecs.northwestern.edu

• Software engineering
• Theoretical computer science
• Computing
• Logic in computer science
• Formal methods
• Programming language semantics
• Control flow
• Eval
• Functional languages
• Operational semantics
• Robert Bruce Findler
• Racket

Safety in Discretionary Access Control for Logic-based Publish-Subscribe Systems Kazuhiro Minami, Nikita Borisov, and Carl A. Gunter University of Illinois at Urbana-Champaign {minami,

Source URL: seclab.illinois.edu

Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the

Source URL: pdos.csail.mit.edu

• Theoretical computer science
• Mathematics
• Theory of computation
• Computability theory
• Models of computation
• Mathematical logic
• Formal methods
• Algorithm
• Turing machine
• Randomized algorithm
• IP
• Alan Turing

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

Source URL: plv.mpi-sws.org

• Concurrency control
• Computer architecture
• Computing
• Software
• Read-copy-update
• Memory barrier
• Linearizability
• Mutual exclusion
• Synchronization
• Futures and promises

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control ? R¨ udiger Ehlers ∗ St´ ephane Lafortune ∗∗ Stavros Tripakis ∗∗∗

Source URL: excape.cis.upenn.edu

• Logic
• Temporal logic
• Philosophical logic
• Mathematical logic
• Abstraction
• Linear temporal logic
• Logic in computer science
• Supervisory control theory
• Non-classical logic
• CTL*
• Modal logic
• Quantifier

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

Source URL: plv.mpi-sws.org

• Concurrency control
• Computer architecture
• Computing
• Software
• Read-copy-update
• Memory barrier
• Linearizability
• Mutual exclusion
• Synchronization
• Futures and promises

A Fuzzy Approach For The 2007 CIG Simulated Car Racing Competition Duc Thang Ho and Jonathan M. Garibaldi Abstract— This paper describes the techniques that have been used by the winning entry of the 2007 IEEE Congress

Source URL: www.csse.uwa.edu.au

• Systems science
• Systems theory
• Science and technology
• Fuzzy logic
• Control engineering
• Automation
• Cybernetics
• Control theory
• Fuzzy control system
• Fuzzy set
• Controller
• Lotfi A. Zadeh